$\forall$$a$,$b$:Knd. eq\_knd($a$; $b$) $\in$ $\mathbb{B}$